Modal characterisation theorems over special classes of frames
نویسندگان
چکیده
منابع مشابه
Modal and Guarded Characterisation Theorems over Finite Transition Systems
Characterisation theorems for modal and guarded fragments of first-order logic are explored over finite transition systems. We show that the classical characterisations in terms of semantic invariance under the appropriate forms of bisimulation equivalence can be recovered in finite model theory. The new, more constructive proofs naturally extend to alternative proofs of the classical variants....
متن کاملFinite Satisfiability of Modal Logic over Horn~Definable Classes of Frames
Modal logic plays an important role in various areas of computer science, including verification and knowledge representation. In many practical applications it is natural to consider some restrictions of classes of admissible frames. Traditionally classes of frames are defined by modal axioms. However, many important classes of frames, e.g. the class of transitive frames or the class of Euclid...
متن کاملComparison Theorems for Special Classes of Nonselfadjoint Elliptic Equations
Known comparisons for nonselfadjoint elliptic equations are strengthened in cases where the coefficients of these equations satisfy special conditions. These improved comparison theorems are also considered in the context of a related eigenvalue problem.
متن کاملBi-modal Gödel logic over [0,1]-valued Kripke frames
We consider the Gödel bi-modal logic determined by fuzzy Kripke models where both the propositions and the accessibility relation are infinitely valued over the standard Gödel algebra [0,1] and prove strong completeness of Fischer Servi intuitionistic modal logic IK plus the prelinearity axiom with respect to this semantics. We axiomatize also the bi-modal analogues of T, S4, and S5 obtained by...
متن کاملOn Some Special Classes of Sonnenschein Matrices
In this paper we consider the special classes of Sonnenschein matrices, namely the Karamata matrices $K[alpha,beta]=left(a_{n,k}right)$ with the entries [{a_{n,k}} = sumlimits_{v = 0}^k {left( begin{array}{l} n\ v end{array} right){{left( {1 - alpha - beta } right)}^v}{alpha ^{n - v}}left( begin{array}{l} n + k - v - 1\ ,,,,,,,,,,k...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2009
ISSN: 0168-0072
DOI: 10.1016/j.apal.2009.04.002